En una gramática independiente del contexto la parte izquierda de cada producción está formada por un único no-terminal.

Α→β
Α ∈ N
β ∈ (T ∪ N)^*

Suele abreviarse la clase de las gramáticas independientes del contexto con las siglas CFG por su nombre en inglés (Context Free Grammar).

La clase de las gramáticas independientes del contexto es un subconjunto de la de las gramáticas sensibles al contexto.

La mayoría de los lenguajes de programación pueden ser generados por gramáticas independientes del contexto.

Ejemplos

El Lenguaje Generado por la Gramatica del primer ejemplo de la definición de gramáticas sensibles al contexto. {a ⁿ b ⁿ c ⁿ }, no puede ser generado por una gramática independiente del contexto.

En cambio el lenguaje:

L = {wcw ^R | w ∈ {a,b} }

puede ser generado por una Gramatica con las siguientes producciones:

S→A;
A→aAa
A→bAb;
A→c